(define (problem FR_6_8)
 (:domain first-response)
 (:objects  l1 l2 l3 l4 l5 l6  - location
	    f1 f2 f3 f4 f5 - fire_unit
	    v1 v2 v3 v4 v5 v6 v7 v8 - victim
	    m1 m2 - medical_unit
)
 (:init
        (adjacent l1 l1)
        (adjacent l1 l3)
        (adjacent l1 l4)
        (adjacent l1 l5)
        (adjacent l1 l6)
        (adjacent l2 l2)
        (adjacent l2 l3)
        (adjacent l2 l4)
        (adjacent l2 l5)
        (adjacent l2 l6)
        (adjacent l3 l1)
        (adjacent l3 l2)
        (adjacent l3 l3)
        (adjacent l3 l4)
        (adjacent l3 l5)
        (adjacent l3 l6)
        (adjacent l4 l1)
        (adjacent l4 l2)
        (adjacent l4 l3)
        (adjacent l4 l4)
        (adjacent l4 l5)
        (adjacent l4 l6)
        (adjacent l5 l1)
        (adjacent l5 l2)
        (adjacent l5 l3)
        (adjacent l5 l4)
        (adjacent l5 l5)
        (adjacent l5 l6)
        (adjacent l6 l1)
        (adjacent l6 l2)
        (adjacent l6 l3)
        (adjacent l6 l4)
        (adjacent l6 l5)
        (adjacent l6 l6)
        (fire l2)
        (fire l3)
        (fire l4)
        (fire l5)
        (fire l6)
        (fire-unit-at f1 l2)
        (fire-unit-at f2 l5)
        (fire-unit-at f3 l2)
        (fire-unit-at f4 l2)
        (fire-unit-at f5 l5)
        (hospital l1)
        (hospital l4)
        (medical-unit-at m1 l2)
        (medical-unit-at m2 l4)
        (nfire l1)
        (victim-at v1 l5)
        (victim-at v2 l6)
        (victim-at v3 l6)
        (victim-at v4 l6)
        (victim-at v5 l1)
        (victim-at v6 l1)
        (victim-at v7 l2)
        (victim-at v8 l2)
        (victim-status v1 hurt)
        (victim-status v2 dying)
        (victim-status v3 dying)
        (victim-status v4 hurt)
        (victim-status v5 hurt)
        (victim-status v6 dying)
        (victim-status v7 dying)
        (victim-status v8 hurt)
        (water-at l1)
        (water-at l3)
        (water-at l4)
        (water-at l6)
	)
 (:goal (and  (nfire l2) (nfire l4) (nfire l3) (nfire l3) (nfire l4) (nfire l4) (nfire l6) (nfire l5)  (victim-status v1 healthy) (victim-status v2 healthy) (victim-status v3 healthy) (victim-status v4 healthy) (victim-status v5 healthy) (victim-status v6 healthy) (victim-status v7 healthy) (victim-status v8 healthy)))
 )
